1. Constructive Methods in Computing Science :
Author: edited by Manfred Broy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA75
.
5
E358
1989
2. Constructive methods in computing science : International Summer School
Author: directed by E. L. Bauer...]et al.[; edited by Manfred Broy
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic data processing
Classification :
QA
75
.
5
.
N383
1988
3. Control Flow and Data Flow:
Author: edited by Manfred Broy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Microprogramming.
Classification :
QA76
.
9
.
D5
E358
1986
4. Control flow and data flow: concepts of distributed programming: interantional. summer school directed by F. L. Bauer, E. W. Dijkstra )and( C.A.R. Hoare
Author: edited by Manfred Broy
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Distributed processing - Congresses ، Electronic data processing,Programming - Congresses ، Electronic digital computers
Classification :
QA
76
.
9
.
D5
N375
1984
5. Engineering Theories of Software Intensive Systems
Author: \ Edited by Manfred Broy...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering -- Congresses. ,نرمافزار -- مهندسی-- کنگرهها
Classification :
E-Book
,
6. Engineering methods and tools for software safety and security
Author: [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering-- Data processing.,Engineering-- Methodology.
Classification :
TA345
.
E64
2009eb
7. Engineering methods and tools for software safety and security
Author: [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering-- Data processing.,Engineering-- Methodology.
Classification :
TA345
.
E64
2009eb
8. Engineering theories of software construction
Author: / edited by Tony Hoare, Manfred Broy, and Ralf Steinbruggen
Library: National Library and Archives of Islamic Republic of Iran (Tehran)
Subject: طراحی سیستم,نرم افزار -- مهندسی
Classification :
QA
۷۶
/
۷۵۸
/
ال
ف
۸ ۱۳۸۰
9. Formal Methods in Programming and Their Applications :
Author: edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
E358
1993
10. Logic of Programming and Calculi of Discrete Design :
Author: edited by Manfred Broy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.
Classification :
QA76
.
9
.
L63
E358
1987
11. Logic of programming and calculi of discrete design
Author: edited by Manfred Broy
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages
Classification :
QA
267
.
3
.
N38
1986
12. Mathematical Methods in Program Development
Author: edited by Manfred Broy, Birgit Schieder.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
E358
1997
13. Models, algebras and logic of engineering software
Author: edited by Manfred Broy and Markus Pizka
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Computer programs ، Engineering,Data processing ، Engineering,، Software engineering,، Computer software -- Development,، System design
Classification :
TA
345
.
N28
2002
14. Perspectives of System Informatics :
Author: edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
15. Pioneers and Their Contributions to Software Engineering :
Author: edited by Manfred Broy, Ernst Denert.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
16. Pioneers and Their Contributions to Software Engineering :
Author: edited by Manfred Broy, Ernst Denert.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
Classification :
QA76
.
2
.
A2
E358
2001
17. Program Construction :
Author: edited by Friedrich L. Bauer, Manfred Broy, E.W. Dijkstra, S.L. Gerhart, D. Gries, M. Griffiths, J.V. Guttag, J.J. Horning, S.S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programmation (Informatique)
Classification :
QA76
.
6
E358
1979
18. Programming and Mathematical Method :
Author: edited by Manfred Broy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
Classification :
QA76
.
6
E358
1992
19. Programming and mathematical method
Author: Edited by manfred broy
Library: Vali Asr University Central Library (Kerman)
Subject: Electronic digital computers - programming,programming mathematics
Classification :
QA
76
.
6
.
P75137
20. Programming and mathematical method
Author: Edited by manfred broy
Library: Vali Asr University Central Library (Kerman)
Subject: Electronic digital computers - programming,programming mathematics
Classification :
QA
76
.
6
.
P75137
